Text citing Harel's paper.