That’s the paper. Mainly thinking of how control flow could be separated and isolated from other parts of the program.