Lem Logic view 2