[math-fun] What comes after tetration?