A tool used to prove that a language is not context-free, including a detailed study of its use with examples.