Validation is about preconditions for operation. It may be useful to separate preconditions into three subtypes: syntax, semantics, and pragmatics. ¹ Syntax : Rules about what’s grammatically well-formed. Example: A CalculateAqueousStability command may have a set of atomic-composition pairs and a set of ion-concentration pairs.