<< elementary_geometry