straight razor subgroup of razor, 11 assertions