Proof failed because document id 2178393 invalid.