  We introduce a conceptual framework that associates syntax and semantics with
vertical and horizontal directions in principal bundles and related
constructions. This notion of geometry corresponds to a mechanism for
performing goal-directed file transformations such as "eliminate unsafe syntax"
and suggests various engineering practices.
