A sentence is a formula in which every occurrence of a variable is bound. A formula that is not a sentence