Murphy's Logic view 1