spontaneous change to manifest.mf