added (multisubst ...);