Proof Set Group