A possible optimisation for is_published_by_implication