set proof