Lem Logic view 1