Hi, I have written the program (editor), which can remove automatically all irrelevant steps in iterative equalities. As an interesting fact we can treat that this editor removed almost 500 kB from MML. It is about 1% of MML. Greetings Artur Kornilowicz