A formal contract modification.