Условие хорошей формулировки

Well-Formedness Condition). Кри¬терии, которые позволяют нам конкретизировать результат в та¬кой манере, которая делает его достижимым и верифицируемым; эффективное средство обеспечения беспроигрышных решений.