Asserting

Checking arithmetic with assert