When we believe X -> Y and - $P(x_s) \neq P(x_t)$ - $P(y_s|x_s) = P(y_t|x_t)$