foil shaver subgroup of shaver, 4 assertions