x
Diagonal lemma — AI Alignment Forum