Given k ≥ 1, the Fox–Kleitman conjecture from 2006 states that there exists a nonzero integer b such that the 2k-variable ...