Tiny language for exact predicates - View it on GitHub