Variables, terms, formulae, and identities