electric razor subgroup of razor, 4 assertions