Game/IND-CPA.agda