Predicate logic and rule composition used by: - dry-types for constrained types. - dry-validation for composing validation rules.