Tagged: proofs involving cpctc key