proof set