User blog comment:Rgetar/Ordinal Explorer Online/@comment-44238981-20200214192953/@comment-32213734-20200215042542

I tried to find [Φ(1, 1)], where Φ(1, 1) is the second OFP. I am not sure, but I think that
 * [Φ(1, 1)] = [L + [c + L]I]
 * [Φ(1, 2)] = [L + [c + L][c + L]I]
 * [Φ(1, ω)] = [L + [c + L + 1]]
 * [Φ(1, Φ(1, 0))] = [L + [c + L·[c + I]]]
 * [Φ(2, 0)] = [L + [c + L·[c + I2]]]
 * [Φ(1, 0, 0)] = [L + [c + L·[c + I2]]]
 * [I2] = [L + [c + L·[c + [c + L2]]]] (?)
 * [I(2, 0)] = [L2]
 * [I(1, 0, 0)] = [L2]