The model I present below concisely is an argument of sorts, and some of the premises hint at mathematization. Mostly the premises are logical, and chained together to form a theory. A theory can be thought of as a two-part thing, (1) a set of axioms, and (2) a model or list or set of objects of which the axioms are true. Derivations of theorems from the axioms are also then true in the model.
