Welcome to "Comet Reverse-Trace Test", a 1st Grade Inverseops mission at the Challenger (stretch) level, staged in our space exploration scenario. The mission opens with a hands-on prompt: "Build TWO groups: 9 orbiting satellites and 9 docked satellites. Together they make the WHOLE." You'll work with the numbers 9, 18 and arrive at a final answer of 9 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: 9 + ? = 18. The "?" is what 18 − 9 equals.
A general pattern to watch for in 1st Grade inverseops — illustrated with example numbers below, which may differ from this lesson's: Counting all over again instead of using the related addition fact. If they know 3 + 5 = 8, they ALREADY know 8 − 3 = 5 — no recounting needed. 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: 9 orbiting satellites and 9 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: 9 orbiting satellites and 9 docked satellites. Together they make the WHOLE. Hint: Tap "+ Add Group" twice. Put 9 in the first, 9 in the second.
Using only the numbers 9, 9, and 18, you can write four equations. You already know 9 + 9 = 18. So what does 18 − 9 equal? If you get stuck, the adaptive hint is: Inverse: addition undoes subtraction and vice versa.
Challenger missions push beyond CCSS expectations with edge cases that surface deeper misconceptions. Within 1st Grade Inverseops, expect numbers in the corresponding range.
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.
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.
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.
