A validation library built on using predicates properly.