If-Thenism, Arithmetic and Remainders