Plus3 ← 3⊸+
Plus3_1 ← +⟜3

•Show Plus3 1
•Show Plus3_1 1