2 ms·

>simplify as much as possible... but no more Is an excellent lemma. Applying it, of course, is what's very difficult :)