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