occur
one? (I think because Friedman likes unary functions.)