Possibly complete draft of undecidability presentation.