Thomas Streicher's counterexample