Proof ci-dead and di articles