D.1. General Equilibrium: Economic Analysis is but only a series of deductions based on propositions describing the relation between scarce substitutable means and ends via our behaviour.
E.1. The terms General Equilibrium, Exchange Economics, etc etc are all terms that only describe a series of logical deductions based on the definition of economics, and added assumptions about means, ends, technology, institutions etc etc. Hence, really the terms such as General Equilibrium etc are nothing but manifold deductions, or theorems, and proof of mathematics, an extensive application of the deductive logic to the information about Given Data.