solid surface subgroup of surface, 2 assertions