Proof failed because document id 35021 invalid.