Proof Set Values