ca: Circle[Midpoint[A, A’], A]