pausability-lemmas.md 11.6 KB