Those of you may recognize this as the upper layers of the wedding cake diagram.  This is the strategy as to how we intend to evolve the language.
	A rule language enables us to use this terminology to perform deductive interest
	When we have a logic we can exchange proofs
	With proofs we can have trust