Public symbol in private contract : a case study · Study