Whatever is greater than is a number, and any given number greater than a be uniquely determined by any of various conditions, some of which have 'x as a necessary consequence and some of which do not.