Proof Set Assortment