Open System Logic view 3