$SOL can be empty