This says, Mitzvois require intent - זאת אומרת מצות צריכות כוונה
Summary:
ר"ל proof that מצות אין צריכות כוונה was based on his assumption that the משנה is even discussing a case where other vegetables are available, and nevertheless the משנה allows him to use חזרת for the first dip, since he will still be obligated to eat מרוד later in the proper order.
If he ate them D’mai, he fulfilled his obligation - אכלן דמאי יצא
Summary:
One is יוצא eating מצה or מרור if it was דמאי, but not with טבל דרבנן, since the reason why one is not יוצא eating מצה (ומרור) by טבל דאורייתא, is based on a פסוק.
He ate it without intention; he fulfilled his obligation - אכלו בלא מתכוין יצא
Summary:
Initially the גמרא assumed that ר"ל was mistaken with his premise, since the ברייתא contradicts him. Once we find a תנא supporting ר"ל, his inference is accepted.
One commemorating Pesach and one for Chagigoh - אחד זכר לפסח ואחד לחגיגה
Summary:
We bring שני תבשילין even on ער"פ שחל להיות בשבת, for there is no concern for next year, and if we do not bring it, there is a concern for the appearance of קדשים בחוץ.
