1. Decrypt the ciphertext provided at the end of the section on mono-alphabetic substitution ciphers.
2. Provide a formal definition of the Gen, Enc, and Dec algorithms for the mono-alphabetic substitution cipher.
3. Provide a formal definition of the Gen, Enc, and Dec algorithms for the Vigenre cipher. (Note: there are several plausible choices for Gen; choose one.)