GameNotes: June 1, (Washington Nationals vs. Atlanta Braves)