Quantifier-free formula