{Fact 𝕩:
  (𝕩<2)◶⟨+´Fact¨,𝕏⟩𝕩-1‿2
}¨↕10