May 5 2017 UNC Wilmington Proofs - hcp