Open System Logic view 2