M7a: Nielegalna topologia [TODO]
Tutaj o topologii takiej jak robi Martin Escardó głównie w tej książce: "Synthetic topology of data types and classical spaces", czyli wyłączamy guard checker i patrzymy jakie programy zatrzymują się, a jakie nie.