[math-fun] We missed it.