Question: If so, R. Yehudah should always require one to bring the first species that the Torah teaches! (However, he does not!)

If one said 'Alai Olah', he should have to bring a bull. If he said 'Alai Olah of Tzon', he should have to bring a lamb. If he said 'Alai Of', he should have to bring a Tor (turtledove)!

(Mishnah): If one said 'Alai Olah', (he must bring an animal;) he may bring a lamb;

R. Elazar ben Azaryah says, he may bring a Tor or Ben Yonah (dove).

Summation of question: R. Yehudah does not argue!

Retraction: Rather, R. Yehudah requires Minchas Soles because it does not have an accompanying name (the Torah calls it just "Minchah". The others have an added name, e.g. 'Minchas Machavas', 'Minchas Ma'afe Tanur'...)

Question: The Beraisa said differently, i.e. it is because the Torah taught Minchas Soles first!

Answer: It means that the choice Minchah without an accompanying name that R. Yehudah refers to is the first one that the Torah taught.

Objection: This is obvious. R. Yehudah explicitly said that he must bring Minchas Soles!

Answer: The Beraisa merely gives a way to remember which one R. Yehudah requires.

(Mishnah): If he said '(Alai) Minchah', or 'a type of Minchah'...

Question (Rav Papa): If he said 'types of Minchah', what is the law?

'Types' connotes at least two. All the Menachos are also called 'Minchah' (singular) - "v'Zos Toras ha'Minchah";

Or, since he said 'Minchah', surely he means only one. He means that of the types of Minchah, I will bring one.

Answer #1 (Mishnah): If he said '(Alai) Minchah', or 'a type of Minchah', he brings one.

Inference: Had he said 'types of Minchah', he would bring two!

Contradiction (Mishnah): If he said 'Menachos', or 'types of Menachos', he brings two.

Inference: Had he said 'types of Minchah', he would bring one!

Conclusion: The inferences contradict one another. We cannot determine which is correct, so we cannot resolve the question from here.

Answer #2 (Beraisa): If he said 'a type of Menachos', he brings two of the same type.

Inference: Had he said 'from types of Minchah', he would bring one!

Rejection: If he said 'types of Minchah', perhaps he would bring two of different types.

Question: A Beraisa teaches otherwise!

(Beraisa #1): If he said 'a type of Menachos is Alai', he brings two Menachos of one type;

If he said 'Types of Menachos are Alai', he brings two Menachos of two types.

Inference: Had he said 'types of Minchah', he would bring one!

Answer: Beraisa #1 is like R. Shimon, who permits bringing a Minchah half Chalos and half Rekikim. (This fulfills 'types of Minchah');

Chachamim do not allow such a Minchah. They obligate two Menachos of different types.

(Mishnah): If he knows that he specified which type, but does not remember which, he must bring all five.

Question: Who is the Tana of the Mishnah?

Answer #1 (R. Yirmeyah): It is not R. Shimon. (He holds that there are more than five.) He says that one may bring some loaves of a Minchah (Ma'afe Tanur) Chalos, and the rest Rekikim!

(If R. Shimon holds like R. Meir, who says that 12 loaves are brought, there are 11 additional possibilities, i.e. perhaps he specified a number of Chalos anywhere between one and 11, and the rest Rekikim.)

Even if R. Shimon holds like R. Yehudah, who says that 10 loaves are brought, there are still (nine additional possibilities, a total of) 14 types of Menachos!

Objection (and Answer #2 - Abaye): It is even like R. Shimon. R. Shimon holds that one may bring and stipulate. (He brings the full number (10 or 12) of loaves of all five kinds of Minchah. He stipulates 'if I vowed a certain number of Chalos and the rest Rekikim, those are for my vow, and the excess Chalos and Rekikim are a Nedavah.')

(Beraisa - R. Shimon): (A Nazir became Safek Tamei Mes. He was also a Metzora Muchlat (totally Tamei, and the Tzara'as went away), and he is unsure if he must perform Taharas Metzora or if he already fulfilled it. He brings Tziporim (birds) today for the first step of Taharah. On day 30, he shaves all his hair.) The next day, he brings a (lamb for) Asham Metzora and a Log of oil, and stipulates:

If I need to bring Asham Metzora, this is the Asham and the oil that must be brought with it. If I need not bring it, this lamb is a Shelamim;

(Since it might be Asham Metzora,) it must be slaughtered in the north. Some of the blood must be put on his ear, thumb and toe;

It requires Semichah and Nesachim (in any case. Some say, it is not a proper Semichah, for Asham Metzora does not require Semichah mid'Oraisa. One may lean on a Korban only when (definitely) fulfilling the Mitzvah of Semichah.)

It requires Tenufah of Chazeh v'Shok (in case it is a Shelamim). Only male Kohanim may eat it, for only one day and the following night (lest it is an Asham).

Suggestion: This is not difficult for you (R. Yirmeyah), for you explained that R. Shimon allows stipulating (l'Chatchilah) only when this is the only solution. (There is no other way to be Metaher the Metzora to eat Kodshim.) Normally, he forbids it l'Chatchilah.

Rejection, and summation of objection: Normally, R. Shimon forbids stipulating about a Shelamim (that perhaps it is an Asham), lest this lead to wasting Kodshim. (If it is really a Shelamim, one may eat it for two days, but we may not eat it on the second day, due to our Safek);

All Menachos are eaten for one day (and a night). L'Chatchilah one may stipulate. This will not cause them to be wasted.

Question (against Abaye - Rav Papa): (You establish our Mishnah even like R. Shimon. Even though) R. Shimon holds that one Minchah may be (hybrid, i.e.) partially Chalos and partially Rekikim, he can bring an Isaron of Chalos and an Isaron of Rekikim and stipulate;

How can the Isaron and/or Log of oil for the Minchah he vowed be brought from two separate Esronim/Lugim?

Answer (Abaye): Indeed, we know that R. Shimon is Machshir if an Isaron and/or Log was brought from two separate Esronim/Lugim. (Tosfos - we know this regarding an Isaron, for R. Shimon holds that dry measures are not Mekadesh their contents. The source regarding the Lug is not known.)

Question: How is Kemitzah done?

Answer: He takes a Kometz from the Chalos and a Kometz from the Rekikim and stipulates:

If the Chalos are a Minchah by themselves (and also the Rekikim), the Kometz from the Chalos exempts the Chalos, and the Kometz from the Rekikim exempts the Rekikim;

If I vowed some Chalos and some Rekikim, the Kometz from the Chalos exempts those Chalos and Rekikim, and the Kometz from the Rekikim exempts the Nedavah of the additional Chalos and Rekikim.

Question: If he vowed some Chalos and some Rekikim, the Kometz must be from both of them. A Kometz from Chalos cannot exempt Rekikim, and a Kometz from Rekikim cannot exempt Chalos!

Answer: Indeed, we know that R. Shimon says that if the Kometz consisted only of Chalos or Rekikim, it is valid.