Say Cryptis the cryptographer is inspired by the One-Time Pad, but is curious about a modification that she thought of Enc(k, m)= k V m. Where V is the logical OR operator. Is it perfectly secure? Prove your answer with a proof of security or by providing a counterexample. Your Answer Intuition. Formal Proof