Text this: Existentially closed ordered difference fields and rings.