Proof failed because document id 2178389 invalid.