Add fully verified isElem example