[proc0]

So it wasn't based on LC, but is probably isomorphic to LC, right? This is why it's hard for me to believe math is invented. Different people and separate efforts but all arrive at the same patterns with different names.