Regarding https://cs.nyu.edu/pipermail/fom/2019-October/021728.html For robustness I think it is better to count the number of distinct atomic formulas x = y, x epsilon y, that appear. Harvey Friedman