Monad est le non-consensus de Q4, tandis qu'Aprioi est le non-consensus du non-consensus. Pourquoi LST devrait-il être LST, et pourquoi ne serait-il pas plus que LST ?