a proposition is true if and only if i think it's true
this is david's theorem and here's the proof: i think it's true
@david that sounds reasonable.
It's pronounced ʁaʁyʁe.
And written RaRuRe, or R3 for short.
You can find more infos on this place by clicking there.