Sukkot תר"ס 2

כתיב שמחה לצדיק עשות משפט. ובנ"י עמך כולם צדיקים לכן מן המשפט של ר"ה ויוהכ"פ באים אל השמחה בחג. וזה שכתבו דמיני לולב סימנין דנוצחין דינא. זה שבאין מן המשפט עצמו לשמחה דנעשה מן הדין עצמו ישועה ושמחה. ובמד' [יעלז] שדי כו' ירננו עצי היער כי בא [כי] בא לשפוט הארץ בר"ה ויוכ"פ ע"ש פ' אמור. כי בנ"י מבינים כי במה שכל באי עולם עוברים לפניו במשפט הוא כדי לזכות אותנו. ולכן יש לשמוח במה שנזכרין לפניו במשפט. ולעתיד עתידין כל באי עולם לשמוח בזה. ז"ש כי בא כי בא לשפוט. ב' פעמים כי בא. פי' שמרננים על כי בא ה'. והגם כי בא לשפוט מ"מ שמחים בביאת ה' שמבינים כי באור פני מלך חיים אעפ"י שבא לשפוט. ועצי היער הם האומות שעתידין כולם לשמוח בזה. ועתה לא יקומו רשעים במשפט רק לבנ"י שמחה עשות משפט ומחתה לפועלי און: