crop circle subgroup of circle, 8 assertions