A senior strategist for Democrat Bernie Sanders says the campaign will “take a step back and then decide publicly what his intentions are.”

But strategist Tad Devine also says Sanders is still making a contribution by “bringing independents and young people into the process.”

With her win in the New York primary, Hillary Clinton picked up at least 135 of the 247 Democratic delegates at stake. Sanders gained at least 104.

Clinton now leads the delegate count 1,930 to 1,189, including super delegates.

Republican presidential front-runner Donald Trump has strengthened his own path toward the general election with a commanding victory in Tuesday’s New York primary.