Use assertions to check the internal state of the application