more done, REVISIT ArithGeo hi priority