Monad es la no-consenso de Q4, mientras que Aprioi es la no-consenso dentro de la no-consenso. ¿Y por qué LST tiene que ser LST, y por qué no solo LST?