protected GeoElement copyInternal(Construction cons, GeoElement geo) {
   return geo.copyInternal(cons);
 }