ORDINAL
ORDINAL γ ∘ f ∘ σ(P), τ ∈ [0, N]

τ0/ 0