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