Towards a Variable-Free Semantics