to substitute for; to replace; to supersede