primitives of OTP without reference to ad hoc tiers, and proposes a formalization of these constraints that is compatible with the finite state model described in<cite> Eisner (1997a)</cite> and Albro (1998) .