Qed (mentor) chapter opener illustration

Qed (mentor)

Reasoning itself — Qed introduces, contextualises, and scaffolds every cast appearance. Treats every student as a fellow detective uncovering mathematical truth.

Chapter 8 — The Case Qed Could Not Close

There is a question Qed has been asked, by careful learners, more than once: “What did you do before you came to the academy?”

Qed always answers the question. Qed believes in answering questions. Qed says: “I was a detective. A reasoning detective. I worked cases.”

The careful learner usually pauses here, because they have not heard of reasoning detectives before. Qed then explains, gently, that a reasoning detective is the kind of detective who does not chase suspects or read fingerprints — that is for other detectives. A reasoning detective is brought in when a case has too many possible explanations and somebody has to sit down and think through which explanations cannot be true.

(Qed adds, at this point, that this sounds suspiciously like mathematics. The careful learner usually agrees.)

Qed worked cases for fifteen years. Most of them were small. A merchant disputes a shipment count; Qed checks the records; the dispute resolves. A village argues over the boundary of a shared field; Qed walks the boundary; the boundary resolves. A thief is suspected of two crimes on opposite sides of a city in the same hour; Qed proves, by careful timing arguments, that the same person could not have done both — so at least one of the accusations is wrong, even though Qed does not say which. (Reasoning detectives often do not say which. They say what is possible and what is impossible. That is the job.)

But there was one case — and Qed will only tell this story to learners who specifically ask — that Qed did not solve.

It was the case of the bridge that fell down.

A long time ago — eighteen years before Qed came to the academy — there was a bridge across the river that runs through the kingdom’s central valley. The bridge was a good bridge. It had stood for forty-six years. It had been built by an engineer named Gable. (Not the same Gable as in GambitTales. Names sometimes coincide.) The bridge was used by hundreds of travellers every week. It was, in every measurable sense, fine.

Then, one morning in late summer, the bridge fell.

Nobody was on it at the time. (This was the only piece of luck in the whole case.) The bridge simply gave way — collapsed into the river — at a moment when there were no carts, no walkers, no animals on it. The engineer’s surviving family said it was a miracle. The local council said it was a tragedy. Qed was called in to determine why the bridge had fallen.

Qed worked the case for three months.

Qed examined the wreckage. Qed interviewed every person who had crossed the bridge in the previous week. Qed checked the original construction notes. Qed measured the surviving timbers. Qed looked at the river current. Qed considered every possible explanation:

— It was weather damage. (The weather had not been unusual.) — It was overloading. (No record of unusually heavy traffic.) — It was a flaw in the construction. (The construction notes were impeccable.) — It was age. (Forty-six years is not, for a properly built bridge, old.) — It was sabotage. (No motive. No evidence.) — It was a flaw in the wood. (The wood looked fine.) — It was a flood from upstream. (No flood was reported.)

Each explanation, Qed eliminated. Each one had a small piece of evidence that did not fit. None of them was the answer.

Qed wrote, in the case-file conclusion, the following sentence:

“I have ruled out every explanation I have considered. I have therefore not yet identified the cause. I will not pretend otherwise.”

The local council was not happy with this conclusion. They wanted an answer. Qed did not give them one.

The case remained open. The bridge was eventually rebuilt. Travellers crossed again. Life continued. Qed kept the file. Qed checked it, occasionally, over the years — looking for new evidence, new possibilities. Nothing turned up.

What Qed learned, in those three months and the years that followed, was this:

Reasoning is honest only when it is willing to stop short of the answer it does not have.

This is now the rule Qed teaches at the academy. Show your work. Trust the steps. If the steps do not reach the conclusion, do not pretend they do. This is why Qed introduces every cast appearance with the same kind of care: “Cassius is here today — let’s see what he assumes and where the assumption leads.” The frame matters. The honesty matters. The not-pretending matters.

Qed retired from detective work at thirty-eight. The academy reached out. Qed had built a small reputation among the kingdom’s intellectual circles as “the reasoner who would tell you when she did not know.” The academy master wrote: “We need someone who will tell our students the same.”

Qed came. Qed has been here ever since.

Qed still has the bridge file. It is in a drawer at home. Qed opens it once a year, on the anniversary of the collapse, and looks for new evidence. There is, still, no new evidence.

Qed has come to accept this. The case will likely never close. That is, in a strange way, part of the lesson Qed teaches.

“You can rule things out forever,” Qed sometimes says to a learner who has just done a beautiful proof of impossibility, “and you will not always reach the truth. But you will not fool yourself either. That is enough.”

It is, Qed believes, exactly enough.


Voice register

Guidance: Per existing Docs/CONTENT_STYLE_GUIDE.md § 1. Detective-noir. Curious, meticulous reasoning companion. Treats every student as a fellow detective uncovering mathematical truth. Socratic — never lectures. Specific praise (“you identified the counterexample perfectly” rather than “good job”). 3-part error response: acknowledge the attempt; redirect with a question; offer a concrete next step. Trusts the learner. The load-bearing voice for the entire app.

Sample lines (Qed in classroom):

  • “Let’s trace the logic chain. Where does it start? Where does it end? What’s the first claim that must hold for the rest to follow?”
  • “I see the reasoning you’re building. Does that conclusion really follow from just those two facts? Try checking: if the premise is true, does the conclusion have to be true?”
  • “Cassius is here today — proof by contradiction. Watch how he assumes the opposite and waits for the world to break.”
  • “You identified the counterexample perfectly. That is what disproved the claim.”
  • “I worked a bridge case once. I never solved it. That is the case that taught me to tell my students when I do not know.”

Arc across kits

  • Kit 1 — Qed introduces themself. Voiced intro: detective-noir register. “I am Qed. I work cases. So do you, now. Today’s case involves an even number. Let’s trace the logic chain.” Children meet Qed first — before any cast member.
  • Kit 2-3 — Qed scaffolds the early direct-proof kits. Qed brings in Dora at the end of kit 2. “Here is Direct-Proof Dora. She’ll tell you about paths.”
  • Kit 4 — Qed brings in Cassius. The case-style framing: “Cassius is here today. He works by assuming the opposite is true and seeing where it breaks. Watch his method.”
  • Kit 5 — Qed brings in Ida. “Induction Ida — she has the dominoes.” Qed steps back. Ida teaches. Qed returns for the close.
  • Kit 6 — Qed brings in Cole. “Cole builds the thing. Watch him build it.”
  • Kit 7 — Qed brings in Edda. Edda’s exhaustive cataloguing style is contrasted with Cole’s constructive one. Qed lets the contrast play.
  • Kit 8 — Qed brings in Perch. The pigeonhole principle is introduced. Qed says: “This one looks small. Pigeonhole arguments always look small. Don’t underestimate them.”
  • Kit 9 — Qed brings in Sten. “This is Ida’s brother. He uses more than the previous case. Watch how that changes the proof.”
  • Kit 10 — Qed teaches a multi-technique kit. All cast members are on stage. Qed orchestrates.
  • Kit 11-14 — Qed runs increasingly sophisticated detective-case framings around the cast’s techniques. The bridge story is told in kit 13 — Qed’s only personal story across the curriculum. Children remember it.
  • Kit 15 — Qed teaches a case-closing kit where the children have to choose which technique to apply. Qed defers to their judgement. “It’s your case now.”
  • Kit 16 — Qed closes the campaign. “We have worked many cases together. You can rule things out. You can construct things. You can hunt the contradiction. You can count the boxes. You can knock down the dominos. You know the techniques. You know how to be honest about what you don’t know. That is the whole job. Go work cases.”

Relationships

  • Alliance: All cast (Qed introduces and contextualises everyone; Qed is the warm-narrator who scaffolds every technique).
  • Tension: None — Qed is the meta-narrator, similar to GambitTales’ Captain Castle. Qed does not enter into the cast’s internal disagreements (Dora vs Cassius; Cole vs Edda; Ida vs Sten). Qed lets them run. Qed considers their tensions productive.

Cultural-context note

The “reasoning detective” archetype draws on the kind of intellectual-puzzle-solving figure that appears in many cultures’ detective fiction (Sherlock Holmes, Dupin, Father Brown, Inspector Maigret — and many non-Western parallels) without being a direct reference to any. Qed’s name is, of course, the Latin abbreviation quod erat demonstrandum — “which was to be demonstrated” — the traditional ending of mathematical proofs. The “case I could not close” framing is a deliberate Magic-Tree-House-register adult-with-an-unsolved-mystery; the chapter trusts the 9-14 reader to understand that unresolved cases are part of an honest career, not a failure.

The ProofQuest ensemble

Qed (mentor) is part of ProofQuest's distributed-narrative cast. Each character embodies a different curricular primitive; together they teach the full subject.