 formed by all the global constraints of the classification can be thought of as a logic that is intrinsic to \(\mathbf{A}\). Then a distributed system consisting of various classifications and infomorphisms will have a logic of constraints attached to each part of  it,[4]  and more sophisticated questions about information flow within the system can be formulated. 