PCB 2017 Proofs - hcp