Add some assertions