Cross-reference for contradictest

---

HenryMatthew, CommentaryVol3, 0001-0236

---