Per A2-β §6.1.
Readonly
Cycle as a chain: A requires X (provided by B); B requires Y (provided by C); C requires Z (provided by A). The cycle closes from the last link back to the first.
Per A2-β §6.1.