Dimension X - A Logic Named Joe (1950)