For if Hashem did not spare malachim that sinned, but cast them into Gehinnom, consigning them to the sharsherot (chains) of choshech to be kept for Mishpat;