At its most general a formula may be thought of in logical theory as any string of symbols from the lexicon of the theory. A well-formed formula (abbreviated as wff) is one that obeys the formation rules of the system. Since other strings are typically of no interest, well-formed formulae are often simply referred to as formulae.