$SOL può essere vuoto