Proof failed because document id 35935 invalid.