Strange7 comments on MathOverflow as an example for LessWrong

[Strange7]

I am glad to have contributed, particularly in a way so closely connected to my obsession with nested worlds.