Thinking Summary · 1
MasteredVisual Logic: 0 of 1 parts shaded.
[Discovery] There were 10 donuts. Shade the 6 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 10 donuts. Shade the 6 that were eaten — the unshaded parts are what remains." You'll work with the numbers 10, 6, 4 and arrive at a final answer of 6 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 10, count back 6.
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 10 donuts. Shade the 6 that were eaten — the unshaded parts are what remains.
1
Active StepEverything you need to know about the Socratic experience.
There were 10 donuts. Shade the 6 that were eaten — the unshaded parts are what remains. Hint: Tap + until the bar has 10 parts, then tap 6 of them to mark them as eaten.
You know 6 + 4 = 10. So what is 10 − 4? 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.
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.
Socratic teaching answers a question with a better question. Instead of "the answer is 12", the system asks "if you had 3 groups of 4, how could you skip-count?" The goal is to externalize the learner's reasoning so they hear themselves think. Every Inquiry AI hint follows this pattern: nudge → reframe → analogy → only then a worked example, in that order.