AKA (also known as) "desired states".
For functionality and quality desired states see ExtremeNormalForm. Also see NormalForm, CodeNormalization.