Գրեք սա: Exploring advanced Euclidean geometry with GeoGebra