Original: He then computes the ciphertext corresponding to
Simplified: He then computes the ciphertext corresponding to: