expression that can be used to check the quotient