I thought this has something to do with this book:

https://forallx.openlogicproject.org/forallxyyc-accessible.p...