use more assertions