Idmon, Laki-laki, Ḩayy al Ḩukkām