Redirecting to https://consequently.org/slides/generality-and-existence-3-slides-logic-workshop-2015.pdf