See Andy Matuschak notes on that paper here:
https://notes.andymatuschak.org/zjfsd9pyxWQAF3HU5k7RAXhRjJBqtMEGKK27