After agreeing to have no more children, a man and his wife decided he should have a vasectomy. What structure would then be surgically ligated?