A subsequent proof by Lewis (1976) found that there is no single proposition based on the antecedent and consequent such that its probability will consistently match the conditional probability.
one could have a propositional theory of conditionals, or validate the Equation -but not both.