[math-fun] Letter insertions