Registry · Theorem IV.T266 tau-effective not_formalized IV.T266 — Export Contracts Ten contracts defining the Book IV Book V handoff: Book IV Part 5 Ch. 44