Noun
well-formed formula (plural well-formed formulas or well-formed formulae)
(logic) A statement that is expressed in a valid, syntactically correct, manner.
This program works correctly on all well-formed formulas but it blows up on illegal input.