Murphy's Logic view 3