Cross-reference for deforcing

---

CalvinJohn, InstitutesVol2, 0202-0276

---