x
All models contain all smaller models — LessWrong