#31, remove the elem/notElem hints entirely