Describir: Incorrect Responses in First-Order False-Belief Tests. A Hybrid-Logical Formalization.