Monad es el no consenso de Q4, y Aprioi es el no consenso del no consenso. ¿Por qué LST tiene que ser LST y por qué es solo LST?