Prev: closure-of-language-classes-under-set-operations Next: proving-problems-are-not-solvable-in-a-model-of-computation