dynamic models of these theories,
    looking to the varieties of mathematical structure that have
    dynamic or system-theoretic interpretations, and compiling
    the constraints that a recursive conceptual analysis
    imposes on the ultimate elements of construction.

The set of sign relations {L(A), L(B)} affords an example of an extremely
simple formal system, encapsulating aspects of the symbolic competence and
the pragmatic performance that might be exhibited by potentially intelligent
interpretive