The circle-geometry ingredients needed for cyclic quadrilaterals and Ptolemy's elegant length relation.