well-formed formula

Правильно построенная формула