The Wayback Machine - https://web.archive.org/web/20240310104424/https://forallx.openlogicproject.org/forallxyyc.pdf