Miller, R. B. The Logic of Theory and the Logic of Practice. PCSP 2009, 5, 101-107.