add some assertions