sentences:  Restricting predicates to be from a set "X" yields a smaller class FO["X"].For instance, FO[ This allows the complexity of some problems to be established without reference to algorithms.When we use the logic formalism to describe a computational problem, the input is a finite structure, and the elements of that structure are the domain of discourse.