round tablecloth subgroup of tablecloth, 3 assertions