Terser proof of composition.