Monad ist der Non-Consensus von Q4, während Aprioi der Non-Consensus innerhalb des Non-Consensus ist. Warum muss LST LST sein, und warum ist es nicht nur LST?