Closed System Logic view 3