Representation Embeddings of Cartesian Theories - Michael Lambert (2016)