Hewitt–Savage_zero–one_law loading ...