So, math stuff. I like the “complete lattice”. I understand it. But I also like “constructive mathematics”. Intuitionistic logic. But without “law of excluded middle”, how do you get nice, clean separation between stuffs? Googling Constructive mathematics “complete lattice” and I get my next research: _Tarski’s lattice theoretical fixed point theorem_ which sounds really really familiar. I think I’ve been here before and here I am again.

So, math stuff.