some assertions