Variable-Free Semantics