Welcome to "Comet Reverse-Trace Test", a 1st Grade Inverseops mission at the Seedling (entry-level) level, staged in our space exploration scenario. The mission opens with a hands-on prompt: "Build TWO groups: 4 orbiting satellites and 3 docked satellites. Together they make the WHOLE." You'll work with the numbers 4, 3, 7 and arrive at a final answer of 3 across 3 guided steps.
Behind the space exploration story, this lesson is really about inverseops aligned to CCSS 1.OA.B.4. Understand subtraction as an unknown-addend problem — addition and subtraction are two views of the same fact. The key strategy this mission asks you to internalise: 3 + ? = 7. The "?" is what 7 − 3 equals.
A general pattern to watch for in 1st Grade inverseops — illustrated with example numbers below, which may differ from this lesson's: Thinking each equation is a separate fact to memorize. Show that 3 + 5 = 8 and 8 − 5 = 3 are the SAME story — the only difference is which piece is hidden. If you get stuck on "Comet Reverse-Trace Test", 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 · Inverseops
Mission Progress
0/3
Thinking Summary · 1
Mastered[object Object]
[Discovery] Build TWO groups: 4 orbiting satellites and 3 docked satellites. Together they make the WHOLE.
1
Active StepDistribute items equally among groups
Everything you need to know about the Socratic experience.
Build TWO groups: 4 orbiting satellites and 3 docked satellites. Together they make the WHOLE. Hint: Tap "+ Add Group" twice. Put 4 in the first, 3 in the second.
Using only the numbers 4, 3, and 7, you can write four equations. You already know 4 + 3 = 7. So what does 7 − 4 equal? If you get stuck, the adaptive hint is: Inverse: addition undoes subtraction and vice versa.
Seedling missions anchor the visual model with small, friendly numbers — ideal as the first attempt at this topic. Within 1st Grade Inverseops, expect numbers in the corresponding range.
Reversing the subtraction (writing 3 − 8 instead of 8 − 3). In Grade 1, the bigger number always goes first in subtraction. The total is what you start with.
Subtraction (Reframing subtraction as missing-addend strengthens take-away fluency.). Open /grade-1/subtraction to start that topic's missions.
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.
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.
