A Logic Named Joe

I need to read this at some point.