Decryption is a transformation D that takes an input of ciphertext and a key, and generates plaintext.