Comment by Redhat on Jinx - Chapter 63.5