Logic view 1