silver surfer subgroup of surfer, 2 assertions