Tags: 7.SP.7, logic, HSS.ID.A.3, G.GMD.3, 8.F.A.2,