Concurrent computation of implication