Implicit Application

One Column

1)		⟶
2)		⟶
3a)		⟶
3b)		⟶
3c)		⟶

Two Columns

1) ⟶ 2) ⟶

3a) ⟶ 3b) ⟶ 3c) ⟶

Explicit Application

One Column

0a)		⟶
0b)		⟶
1)		⟶
2)		⟶
3a)		⟶
3b)		⟶
3c)		⟶

Two Columns

0a) ⟶ 0b) ⟶ 1) ⟶ 2) ⟶

3a) ⟶ 3b) ⟶ 3c) ⟶