Many useful predicates
Release v0.0.1