This is a special post for quick takes by kbear. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.
Counterexample, if Q = "true", then it becomes "it's true to believe that if it's true to believe P, then P", which means Prov(Prov(P) -> P), which implies Prov(P) because of Lob's theorem