 Complex well-formed formulas (wffs) are defined as usual in first-order languages (see the entry on  classical logic),  except for quantified expressions. The new rule says: If \(\varphi\) is a formula and \(x^{i}\) is a variable of sort \(i\), then \(\exists x^{i}\varphi\) is a formula as well.