Description: cdlemkyu with some hypotheses eliminated. TODO: Clean all this up. (Contributed by NM, 21-Jul-2013)