Assertions to check logic should always be true