[math-fun] More on EF's