First-order quantification, and first attempt at quoting.