Sefer HaMitzvot, Positive Commandments 226 · ספר המצוות · free full Hebrew text
היא שצונו להרוג את העוברים על קצת המצות בסייף. והוא אמרו יתברך נקם ינקם. והנה נרמוז במצות לא תעשה על המצות שחייבין עליהן התזת הראש בסייף. וכבר התבארו משפטי מצוה זו במסכת סנהדרין. (ואלה המשפטים, הלכות סנהדרין כל דיני ארבע מיתות ב"ד פי"ד וט"ו):