It's time to re-read "A Logic Named Joe" (1946) [1] We're there.

[1] https://archive.org/details/logicnamedjoe0000lein