Proof Set Errors