changes to assertion list