Using ordered fields