Towards a Variable-Free Semantics · Study