some assertions added