L'unico motivo per cui non può essere il top è che $MONAD non è ancora stato lanciato.