Can someone please explain which one I should shoot for when using distilled water? Mash PH or Grist DI water pH?