Precedent for PGP legality