Included entry for Harel's paper.