Corollary 5.3

Corollary 5.3 (Static normal form). Orient each guarded fold toward its quotient. The system terminates and is confluent up to rooted labelled port-graph isomorphism. Its normal form is the minimal residual figure.