[math-fun] this HAS to be known