Redirecting to https://consequently.org/slides/existence-definedness-awpl-tplc-2016.pdf