the carrier of (Tunit_circle 2) = circle (0,0,1)