dry-logic predicates logic with rule composition.