Proof in Consequence