Currently, the intended normal form definition\refdef{intended
normal form definition} offers enough freedom to describe all
valid stateful descriptions, but is not limiting enough. It is
Currently, the intended normal form definition\refdef{intended
normal form definition} offers enough freedom to describe all
valid stateful descriptions, but is not limiting enough. It is