Lem Logic view 3