First he turns formula_50 into a number formula_52 smaller than formula_4 by using an agreed-upon reversible protocol known as a padding scheme. He then computes the ciphertext formula_54 corresponding to: