> but in less formal contexts it also gets used a lot to describe stuff like "Heisenbugs" There are pretty formal contexts in which it also means things like t

> but in less formal contexts it also gets used a lot to describe stuff like "Heisenbugs" There are pretty formal contexts in which it also means things like that! It's not about formalism, it's just about context.