adding Point functor from predicate