 have already
been highlighted in the story of A and B.  Although it is ordinarily possible
to construct state transition systems in which the states of the interpreters
correspond relatively directly to the acceptance of the primitive signs given,
the conflict of interpretations that develops between different interpreters
from these prima facie implementations is a sign that there is something
superficial about this approach.

The integration of model-theoretic and proof-theoretic aspects
of &quot;physica