  The principle Cont that is rejected by contraction-free responses follows from two standard principles. These are single-premise conditional proof and a slightly more general version of modus ponens, involving at most one premise \(\gamma\):