to supersede, to replace, to supplant, to substitute