Tags: HSS-ID.B.6a, empirical probability, 5.G.1, HSF.LE.A.4, MP.6,