Putting a proof in order