entire surface subgroup of surface, 16 assertions