P
Initializing...
§3, p. 382: $\rho^C \ge \rho^D$ · Prove2Me