pgp patent.