rotary shaver subgroup of shaver, 2 assertions