A distinction is often made between deductive and inductive theory. In building a theory by deduction one first establishes a set of premises. Then certain logical consequences of these premises are deduced and subsidiary concepts are established. The starting point is rational thought, and logical consistency is a major concern in development of the theory. Often such theories are stated in mathematical terms.