Proof failed because document id 2194863 invalid.