Thinking Summary · 1
MasteredVisual Logic: 0 of 1 parts shaded.
[Discovery] There were 12 satellites. Shade the 7 that were recalled — the unshaded parts are what remains.
1
Active StepWelcome to "Space Dust Sweeper", a 1st Grade Subtraction mission at the Explorer (core) level, staged in our space exploration scenario. The mission opens with a hands-on prompt: "There were 12 satellites. Shade the 7 that were recalled — the unshaded parts are what remains." You'll work with the numbers 12, 7, 5 and arrive at a final answer of 7 across 3 guided steps.
Behind the space exploration 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 7.
A general pattern to watch for in 1st Grade subtraction — illustrated with example numbers below, which may differ from this lesson's: Mixing up the order: writing 2 − 5 instead of 5 − 2. In Grade 1, subtraction is NOT commutative. The bigger number goes first. If you get stuck on "Space Dust Sweeper", 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 satellites. Shade the 7 that were recalled — the unshaded parts are what remains.
1
Active StepEverything you need to know about the Socratic experience.
There were 12 satellites. Shade the 7 that were recalled — the unshaded parts are what remains. Hint: Tap + until the bar has 12 parts, then tap 7 of them to mark them as recalled.
You know 7 + 5 = 12. So what is 12 − 5? 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.
Forgetting subtraction is the undo of addition. Play fact-family games: give 3+2=5 and ask for the matching subtraction facts.
Comparing (Subtraction answers "how many more".). Open /grade-1/comparing 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.
C-P-A is the Singapore Math sequence proven to deepen number sense: first manipulate physical objects (Concrete), then draw pictures of them (Pictorial), and only then write equations (Abstract). Inquiry AI structures every mission as exactly these three steps — a manipulative, a picture/grid model, and finally the equation. Skipping straight to symbols is the #1 cause of math anxiety; the platform refuses to do it.