plain zebra subgroup of zebra, 1 assertions