add more assertions