Input (grade 13): A proof that attacks in this model are impossible implies that any realistic chosen-ciphertext attack can not be performed.
Output (grade 12): A proof that attacks in this model are impossible implies that any practical chosen-ciphertext attack can not be performed.