P
Initializing...
§3.3, p. 17 — every D^µ satisfies Axiom 4 · Prove2Me