$SOL dovrebbe poter essere vuoto?