A proposal for iterated interpretability with known-interpretable narrow AIs — LessWrong