inserting 03: assertions