Why Welch's test is Type I error robust | Synapse