a user wishes to receive a file encrypted with pgp