P
Initializing...
§3.3, pp. 16–17 — every D^µ satisfies Axiom 3 · Prove2Me