S4DefineTemplatesTheory.pdf