We provide a construction which co-freely adds elementary structure to a primary doctrine in the sense of Lawvere. We show that the construction preserves all the first order logical structures that the starting doctrine may have. Moreover it forces the Principle of Propositional Extensionality when applied to tripos.

This case involves two proceedings, one pending in state court, the other in federal court. Each seeks review of an Iowa Utilities Board (IUB or Board) order. And each presents the question whether Windstream Iowa Communications, Inc. (Windstream), a local telecommunications carrier, may impose on Sprint Communications, Inc. (Sprint), intrastate access charges for telephone calls transported vi...