Further, the theories agree that the discrepancy between the assertability P(C/A) and the probability of truth P(A C) is due to some sort of Gricean implicature, and that an adequate account of this implicature must use the premise that the conditional has the truth conditions of A.