Added input ciphertext as argument