Greater logic