compulsory redundancy subgroup of redundancy, 1 assertions