Reducing price of proof sets