void ShowResult() { var stringTokens = _model.GetTokens().Select( tok => RenderToken(tok)); resultLabel.Text = string.Join(" ", stringTokens) + " " + _current; }