Thank you, that seems really interesting, and it touches tantalizingly onto some ideas I've wondered if anyone has formalized. There's the old joke that 1. No

Thank you, that seems really interesting, and it touches tantalizingly onto some ideas I've wondered if anyone has formalized. There's the old joke that 1. Not all numbers are interesting 2. If not all numbers are interesting, then there's a smallest number that's not interesting 3. But that's interesting in itself! Ha! Contradiction! But it seems to me all you need to resolve that contradiction is to be a bit tough and say that no, it being the smallest boring number isn't interesting. Who cares. What I would like to know is if there is a formalization of "we don't care about that". Obviously we use the idea sometimes (Karnaugh maps come to mind).