Provides isElem and n-ary isP.