new sop subgroup of sop, 1 assertions