Klagge's conclusion that w and w* are not a counterexample would only follow if a and c counted as B...