Kohlenbach, U. On Weak Markov’s Principle. BRICS 2001, 8.