Assertions on insertion