stone circle subgroup of circle, 6 assertions