Simplification with EDAG

EDAG could be the biggest simplification measure, we have seen so far.