hi:predicate_logic