(;FF[4]SZ[8]EV[rev.ch.21.4.8]PB[Jeff]PW[conjecture]SO[https://www.littlegolem.net])