How To Build A Logic