module Logica::Predicates