Definition:Circle Representative of Loop