Thinking Summary · 1
MasteredVisual Logic: 0 of 1 parts shaded.
[Discovery] There were 7 donuts. Shade the 2 that were eaten — the unshaded parts are what remains.
1
Active StepWelcome to "Muffin Sale Tracker", a 1st Grade Subtraction mission at the Seedling (entry-level) level, staged in our bakery scenario. The mission opens with a hands-on prompt: "There were 7 donuts. Shade the 2 that were eaten — the unshaded parts are what remains." You'll work with the numbers 7, 2, 5 and arrive at a final answer of 2 across 3 guided steps.
Behind the bakery story, this lesson is really about subtraction aligned to CCSS 1.OA.A.1. Understanding subtraction as taking from, taking apart, and comparing — within 20. The key strategy this mission asks you to internalise: Start at 7, count back 2.
A general pattern to watch for in 1st Grade subtraction — illustrated with example numbers below, which may differ from this lesson's: Forgetting subtraction is the undo of addition. Play fact-family games: give 3+2=5 and ask for the matching subtraction facts. If you get stuck on "Muffin Sale Tracker", the adaptive Socratic hints below escalate from a gentle nudge to a worked-out strategy — the same way a one-on-one tutor would coach you through it.
Grade 1 · Subtraction
Mission Progress
0/3
Thinking Summary · 1
MasteredVisual Logic: 0 of 1 parts shaded.
[Discovery] There were 7 donuts. Shade the 2 that were eaten — the unshaded parts are what remains.
1
Active StepEverything you need to know about the Socratic experience.
There were 7 donuts. Shade the 2 that were eaten — the unshaded parts are what remains. Hint: Tap + until the bar has 7 parts, then tap 2 of them to mark them as eaten.
You know 2 + 5 = 7. So what is 7 − 5? If you get stuck, the adaptive hint is: One fact-family, three equations.
Seedling missions anchor the visual model with small, friendly numbers — ideal as the first attempt at this topic. Within 1st Grade Subtraction, expect numbers in the corresponding range.
Subtracting more than you have (e.g., 3 − 5). With physical objects, show it is impossible at Grade 1. Save negatives for later.
Addition (Partner operation — same fact-family.). Open /grade-1/addition to start that topic's missions.
Inquiry-based learning starts with a question, not a formula — students explore, hypothesize, and verify before being told the rule. In Inquiry AI, every mission opens with a "Discovery" step (manipulate the model), then "Abstraction" (write the equation), then "Reflect" (apply to a new case). The procedure is never given upfront; learners derive it from their own observations.
Pure discovery is inefficient — kids hit a wall and quit. Guided Discovery scaffolds the path: a careful sequence of questions, models, and adaptive hints leads the learner toward the insight without revealing it. Inquiry AI's hint system fires automatically after ~15s of hesitation or on the first mistake, escalating from a Socratic nudge to a worked example only when needed. Mistakes are diagnosed via "misconception keys" so the hint matches the actual wrong-thinking pattern.