Text this: Generalized algebraic theories : a model theorectic approach,