Thinking Summary · 1
MasteredVisual Logic: 0 of 1 parts shaded.
[Discovery] There were 12 donuts. Shade the 5 that were eaten — the unshaded parts are what remains.
1
Active StepWelcome to "Muffin Sale Tracker", a 1st Grade Subtraction mission at the Explorer (core) level, staged in our bakery scenario. The mission opens with a hands-on prompt: "There were 12 donuts. Shade the 5 that were eaten — the unshaded parts are what remains." You'll work with the numbers 12, 5, 7 and arrive at a final answer of 5 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 12, count back 5.
A general pattern to watch for in 1st Grade subtraction — illustrated with example numbers below, which may differ from this lesson's: Subtracting more than you have (e.g., 3 − 5). With physical objects, show it is impossible at Grade 1. Save negatives for later. 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 12 donuts. Shade the 5 that were eaten — the unshaded parts are what remains.
1
Active StepEverything you need to know about the Socratic experience.
There were 12 donuts. Shade the 5 that were eaten — the unshaded parts are what remains. Hint: Tap + until the bar has 12 parts, then tap 5 of them to mark them as eaten.
You know 5 + 7 = 12. So what is 12 − 7? If you get stuck, the adaptive hint is: One fact-family, three equations.
Explorer missions hit the core abstraction at typical numeric ranges — this is where conceptual mastery is built. Within 1st Grade Subtraction, expect numbers in the corresponding range.
Mixing up the order: writing 2 − 5 instead of 5 − 2. In Grade 1, subtraction is NOT commutative. The bigger number goes first.
Addition (Partner operation — same fact-family.). Open /grade-1/addition to start that topic's missions.
Research on "productive struggle" shows that 20–60 seconds of focused effort BEFORE help dramatically improves long-term retention — the brain encodes the strategy more deeply. Inquiry AI's hint timing is calibrated to this window: short enough to prevent frustration, long enough to lock in the learning. Parents can adjust the threshold in settings if a learner needs faster scaffolding.
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.