Explanation of usefulness of the modal internal language
Discussion of spreading from the generic point to dense open subsets (rough work in progress)