also take implications predicates desire into account.