In a public-key system, Alice wants to send a secret message to Bob. Which key does she use to encrypt it?