Topology via Logic - pokkari, Englanti, 1996