Order for proof set