Tautology, Barbers, Impredicativity and Self-Adjudication

Here’s a thought that is tautological: a self-adjudicating system cannot seek external arbitration to determine its next state. I like the idea that some tautologies are useful.