 An algorithm can determine whether, for a given model, a solution is computable in polynomial time.The calculus includes three rules for the transformation of conditional probability expressions involving the do operator.Rule 1 permits the addition or deletion of observations.