Here is an application of the technique to proving Conway's cosmological theorem: https://www.cs.cmu.edu/~kw/pubs/conway.pdf https://www.cs.cmu.edu/~kw/pubs/con

Here is an application of the technique to proving Conway's cosmological theorem: https://www.cs.cmu.edu/~kw/pubs/conway.pdf https://www.cs.cmu.edu/~kw/pubs/conway.pdf