Halevi Implementation