A valid pattern and an unsupported converse

A fictional philosophy class is given a stipulated rule:every member of the archive team has completed the documentation course. It is also stipulated that Mira is a member of that team. One student concludes that Mira completed the course. A second observes that Joel completed the course and concludes that Joel must therefore belong to the archive team. No statement says that only team members take the course. A third student claims the first argument is invalidbecause the teacher has not personallychecked whether Mira reallyexists. The exercise asks students to distinguish a logical relationship from the factual truth of its premises. All people and organizations are invented for this classroom problem. The task does not ask for a realperson's qualification or an admission decision. The class must explain the reasoning precisely rather than attaching a fallacy name without identifying what has gone wrong.