Started writing the simplifier