HS.Gd: Geometry—Expressing Geometric Properties with Equations