 Similarly,
formula_16
holds as well.These two examples are the base cases of the translation of arbitrary SKI terms to Jot given by Barker,
making Jot a natural Gödel numbering of all algorithms.Jot is connected to Iota by the fact that formula_17 and by using the same identities on SKI terms for obtaining the basic combinators formula_18 and formula_19.