Registry · Proposition IV.P383 framework not_formalized IV.P383 — Why tau3 Succeeds Category avoids these obstacles because: enumerate It does not use perturbation theory---the meta-theorem is exact.... Book IV Part 4 Ch. 31