Shana Kahi 2014 proofs - hcp