ゲーデル数
making Jot a natural Gödel numbering of all algorithms.