Tags: HSF.IF.4, ID.B.6, HSF.LE.A.4, 6.SP.B, valid sampling,