Definition:

cordotomies