More changes in predef notation