Monad er ikke-konsensus for Q4, og Aprioi er ikke-konsensus for ikke-konsensus. Hvorfor må LST være LST, og hvorfor er det bare LST?