Loading paper
Nbd is not cartesian closed | Tomesphere