I thought this has something to do with this book: https://forallx.openlogicproject.org/forallxyyc-accessible.pdf https://forallx.openlogicproject.org/forallxy

I thought this has something to do with this book: https://forallx.openlogicproject.org/forallxyyc-accessible.pdf https://forallx.openlogicproject.org/forallxyyc-accessible.p...