Monad 是 Q4 的非共识,而 Aprioi 是非共识当中的非共识。 LST 又何必是 LST,又何止是 LST?