Validated code in GeoHead