First-order formula