Some more assertions