Nomenclature of the new vagotomy.