Before revision: Weak Markov's principle Weak Markov's principle is a weaker form of Markov's principle.
After revision: The weak the principle Weak Markov's principle is a weaker form of Markov's principle.