asserts to check if assumed conditions really are true