Just check the arithmetic!