# Claim 2 --- An independent vectorized simulation of 20,000 null trajectories for 1,000 rounds at lambda=.4 and alpha=.05 obtains FWER 0.0303, below the nominal 0.05 threshold.