IDCP April 28 2017 Proofs - hcp