When k encodes the loop's causal history, P(b|a) in k can exceed P(b|~a) in k, satisfying Mellor's c...