P
Initializing...
§3.3, p. 16 — every D^µ satisfies Axiom 1′ and Axiom 1 · Prove2Me