WMC Proofs 03-24-17 - hcp