The truer paper needs some additions in order to deal with various objections that were raised at BSPC. I just wrote the draft of the first of them, designing a semantics and a proof theory for the logic containing truer. I actually ended up with two proof theories, an axiomatic system and a natural deduction system. And the semantics looks a lot like the semantics for KT. The pages won’t make much sense without knowledge of the rest of the paper, and probably won’t make much sense even with that knowledge, but if you’re interested, the PDF is here.