point circle subgroup of circle, 1 assertions