Bounded quantification is undecidable - Pierce, Benjamin C. (Carnegie Mellon Univ., 1991)