József Balogh, Dingding Dong, Bernard Lidický, Nitya Mani, Yufei Zhao: Nearly all k-SAT functions are unate. CoRR abs/2209.04894 (2022)