A Logic Named Joe