greedy_ReprGt: greedy is lexicog. greatest explicitly