How come we have 2 versions of every possible predicate (> and >?, etc.)? It seems silly to me. Could we drop one of the two? Does anybody feel strongly about this?