Text this: Axiomization of passage from "local" structure to "global" object.