$EOS può essere vuoto?