If hrc had been elected