Descriptive complexity results like Fagin's theorem presuppose fixed finite ordered structures, but ...