Monad является неконсенсусом Q4, а Aprioi — неконсенсусом среди неконсенсусов. Зачем LST должно быть LST, и почему это только LST?