Collatz ← ⥊⊸{
  𝕨𝕊1: 𝕨;
  (𝕨⊸∾ 𝕊 ⊢) (2|𝕩)⊑⟨𝕩÷2⋄1+3×𝕩⟩
}

Collatz1 ← ⌽∘{
  1: ⟨1⟩;
  𝕩∾˜𝕊(2|𝕩)⊑⟨𝕩÷2⋄1+3×𝕩⟩
}

•Show Collatz1 5

•Show (⊑∾≠){𝕩⊑˜⊑⍒≠¨𝕩}Collatz1¨1+↕99999