Learn by teaching
Explain what you know. Protégé finds the gaps.
Teach in plain language. Protégé extracts claims and asks one focused question at a time — not a chatbot flood.
Next question
What has to hold at every node — not just the root?
- Solid: BST ordering is left-less, right-greater
- Needs work: Delete with two children uses in-order successor