outer circle subgroup of circle, 1 assertions