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