inserting 02: assertions