P
Initializing...
§5 — the circuits of a rank system satisfy (C₁) and (C₂) · Prove2Me