(|| c i(in '(|| 'xn [c in ['x'c in ['x'n [(|| c in ['x c 'in '(|| 'xn [c in ['x'c [c in ['x'n [(|| c in ['',]