What in this counterexample would contradict this rule?