sentences:  These relations are the predicates for the first-order logic system.We also have constants, which are special elements of the respective structure, for example if we want to check reachability in a graph, we will have to choose two constants "s" (start) and "t" (terminal).In descriptive complexity theory we almost always suppose that there is a total order over the elements and that we can check equality between elements.