Nice set proof set