I don't understand the premise of 3, even when looking at the five theses. I saw it restated under the second lemma, but it doesn't seem an enormously difficult problem unless the most feasible approach to self-modifying AI was genetic algorithms, or other methods that don't have an area explicitly for values/goals. Is there anything I'm missing?