tweet: Jacob deGrom struck out 13 batters -- the most ever by a #Mets pitcher who threw five or fewer innings -- but didn't factor into the decision in the NL East leaders' 7-3 win over the Pirates on Sunday.  https://t.co/QE0TfnMJ49 #LGM