Bartosz Witkowski - Blog.

Higher Order Predicates and Adding Basic Primitives