Input–output formalism