Working with Proof Orders