--- nazev: It must have been popis: Modals of deduction. A short mystery and a quiz. ---