some more assertions