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