Proof failed because doc id 2680 invalid.