Proof sets ordered not received