See chapter 9., ‘The input-output framework’