$SOL agree or not ?