…you write little dots above your variable letters to remind you that they are in fact metavariables because they vary only in the language of discourse, not the language of the universe of discourse, and furthermore, you find yourself wondering by what accident these metavariables came to be commonly know as variables.