A posteriori, i numeri di ADP e Paychex per giugno sembrano essere stati accurati.