5.1 The higher-lobe correspondence rule

For every Brain-lobe function phi that is being used, there are corresponding Brain-lobes for recursively higher Hyperfunction orders of that same function.

L_phi,1 ; L_phi,2 ; L_phi,3 ; ... without terminal order

L_phi,n is not a different function merely because n is higher. Its function-kind remains phi.

FunctionKind(L_phi,n) = phi

FunctionalState(L_phi,n) = H_n(phi)