Input (grade 7): And unfortunately one does not know in which of the cases this happens.
Output (grade 7): And unfortunately we do not know in which of the cases this happens.