Tags: HSA.REI.C.6, HSA.APR.C, symmetry, HSS.ID.A.4, popular vote,