08/07/2022, 11:38 AM
Yes, I think we're really close to finding the exact language. I'm sure we can find it. But, I hope you understand when I mean "we can't iterate about two fixed points". Though I did say it a little off hand and incorrectly. There is a good amount of truth to this statement. But it's specific to how we phrase that statement. And we have to phrase it perfectly. I think that's the key to explaining multiple fixed points though; we need a strong statement that restricts what multiple fixed point iterations look like.
I'm really excited. Sorry Bo, I've been up all night. And I've been really wired all night. Can't talk anymore. It's 0700 for me and I haven't slept yet. I've been thinking about this shit too much
I'm really excited. Sorry Bo, I've been up all night. And I've been really wired all night. Can't talk anymore. It's 0700 for me and I haven't slept yet. I've been thinking about this shit too much

