A theory is said to be properly regimented when it is presented in the form recognized by some favoured logic, usually first-order predicate calculus. When this is so the inferential routes between sentences of the theory are especially transparent, and the commitments of the theory laid bare.