Gen ← (•rand.Deal⊏⥊⟜"[]") 2⊸×
Bal ← {
  Mul ← {a‿b𝕊x‿y: ⟨a+0⌈x-b, y+0⌈b-x⟩}
  0‿0 ≡ 0‿0("]["⊸=⊸Mul)´𝕩
}