Reflections of a Formal Semanticist · Study