Order for minor proof sets