D and I (proofs) - hcp