Text this: First-order queries on finite structures over the reals.