If you were told before the game that Jacob deGrom would fan 10 in six innings, that Edwin Diaz would strike out the side in the ninth and that in the middle Seth Lugo and Adam Ottavino pitched, yo…