A compact, parseable way to append two things to any claim: how confident you are (c), and the observation that would show it wrong (⊥, "falsum"; ASCII alias "refute:"). It maps losslessly to a plain sentence.
null