Rimants Logic view 3