Logic view 3