∊)∊ 𝕩: Mark FirstsMark the first occurrence of each major cell in 𝕩 with a 1, and all other occurrences with a 0.
∊ 4‿5‿6‿6‿4‿7‿5 ⟨ 1 1 1 0 0 1 0 ⟩ a ← 3‿3 ⥊ ↕9 ∊ a ⟨ 1 1 1 ⟩
𝕨 ∊ 𝕩: Member OfIs each cell in 𝕨 a major cell of 𝕩?
⟨1⟩ ∊ ↕9 ⟨ 1 ⟩ b ← 3‿3 ⥊ ↕9 ⟨0‿1‿2⟩ ∊ b ┌· · 0 ┘ ⟨1‿3 ⥊ 0‿1‿2⟩ ∊ b ┌· · 0 ┘