@b0rk
We have various ways to indicate emphasis in text, but we don't seem a generally understood way to indicate uncertainty/slight inaccuracy/... If we had such, would you think that using it to point out knowingly-incomplete abstractions were useful or maybe too noisy?