so, a k can threaten our causal link if it has an effect that is possibly inconsistent with the proposition we're trying to protect, and it may possibly occur in parallel to our causal link, and finally, the bindings that we need for making p and w the same are consistent with the bindings used in the plan.