Monad là phi đồng thuận của Q4, trong khi Aprioi là phi đồng thuận trong phi đồng thuận. LST tại sao lại phải là LST, và còn hơn cả LST?