# "How many pulsars?" Twelve.
# OPEN.COUNT asks "what number?"; the answer COUNT.12 replaces OPEN with COUNT, and COUNT with the digit.
+: STAR.TIME | ONE | OPEN.COUNT
×: _ | _ | COUNT.12
