Open System Logic view 1