Kotula Logic view 1