simplify.m and quantify.m not *.M