Murphy's Logic view 2