public void NewResults() { if (ResultsArrived != null && HasResults) this.ResultsArrived(this, EventArgs.Empty); }