Justice Menachem Elon, of blessed memory