This is my contributed talk at the 9th International Symposium on Domain Theory, Singapore (online), July 6th, 2022. This is work done with Xiaodong Jia.
The full slides, with all animation steps; the shorter presentation, without them. The video (18:31).
