Idmon, Mann, Ḩayy al Ḩukkām