TestPaperCode: notElem on foldable