∾´(1+3≤⊢)⊸⊔ 1‿4‿3‿2‿5‿2