Improve existT_eq