outer surface subgroup of surface, 55 assertions