Support (for R. Yochanan - Beraisa - R. Shimon): Sometimes Meilah applies to Nosar, and sometimes it does not:

Version #1 (Rashi): If the blood was left overnight, Meilah applies (if one ate) before Zerikah, but not after Zerikah.

Version #2 (Rosh, cited by Pirush Kadmon): If the meat was left overnight before Zerikah, Meilah applies (to it). If it was left overnight after Zerikah, Meilah does not apply. (end of Version #2)

Suggestion: Even though there was time to do Zerikah, (we do not consider it as if Zerikah was done,) there is Meilah. This shows that Heter Achilah is required to remove Meilah!

Rejection: No. The case is, there was no time for Zerikah. (Kabalah was right before sunset.)

Inference: If there was time to do Zerikah, Meilah would not apply.

Question: If so, why does it say that Meilah applies before Zerikah (but not after)? Rather, it should say Meilah applies if Kabalah was before sunset (leaving time for Zerikah), but not if it was after!

Answer: This is what the Beraisa means. Meilah applies (if one ate) before there was opportunity for Zerikah, but not after there was opportunity for Zerikah.

Support (for R. Yochanan - Beraisa - R. Shimon): Sometimes Meilah applies to Pigul, and sometimes it does not:

Meilah applies (if one ate) before Zerikah, but not after Zerikah.

Suggestion: Even though there was time to do Zerikah, there is Meilah. This shows that Heter Achilah is required!

Rejection: No, the case is, there was no time for Zerikah.

Inference: If there was time to do Zerikah, Meilah would not apply.

Question: If so, why does it say that Meilah (applies before Zerikah, but it) does not apply after Zerikah? Rather, it should say that Meilah applies if Kabalah was before sunset (with time for Zerikah), but not if it was after!

Answer: This is what the Beraisa means! Meilah applies (if he ate) before there was opportunity for Zerikah (because Kabalah was after sunset), but not (if he ate) after there was opportunity (Kabalah was before sunset).

Support (for R. Yochanan - Beraisa): Meilah applies to Pigul of Kodshei Kodashim.

Suggestion: This is (even) after Zerikah. (Before Zerikah, Pigul applies to even to valid Kodshei Kodashim. This shows that Heter Achilah is required! (Tosfos - this supports also Rav Gidal.)

Rejection: No, the case is, Zerikah was not done.

Inference: If Zerikah was done, Meilah would not apply.

Question: If so, why does the Seifa say that Meilah does not apply to Kodshim Kalim? Rather, it should say Meilah applies before Zerikah, but not after!

Answer: The Seifa teaches that only valid Zerikah brings (Eimurei Kodshim Kalim) to Meilah, but even an invalid Zerikah can remove Meilah (from Kodshei Kodashim). (Rav Gidal is refuted.)

(Mishnah - R. Eliezer): If meat of Kodshei Kodashim left the Azarah before Zerikah, (even if it was returned and Zerikah was done,) Meilah applies to it, and one cannot be liable for it for Pigul, Nosar or Tamei. (It is as if Zerikah was not done.)

R. Akiva says, (even if it was not returned, after Zerikah) Meilah does not apply to it, but Pigul, Nosar or Tamei can apply to it. (It is as if valid Zerikah was done.)

R. Akiva: If one was Makdish a Chatas, lost it, was Makdish another, then found the first and slaughtered both of them:

Zerikah (of one) exempts its meat (from Meilah). It also exempts the other animal's meat (even though the latter is Pasul, since it is Mosar Chatas);

All the more so, in our case Zerikah should exempt meat of the animal itself (even though it is Pasul due to Yotzei)!

R. Eliezer says, if Eimurim of Kodshim Kalim left before Zerikah, (even if they were returned and Zerikah was done,) Meilah does not apply to them, and one is not liable for them for Pigul, Nosar or Tamei;

R. Akiva says, (Rashi - if they were returned; Rambam - in any case) Meilah applies to them, and one can be liable for them for Pigul, Nosar or Tamei. (R. Akiva Eiger - perhaps Rashi understands that the Eimurim left Yerushalayim, therefore they must be returned.)

(Gemara) Question: Why must they argue in two cases?

Answer: This is necessary:

Had they argued only about Kodshei Kodashim, one might have thought that only there R. Eliezer says that Meilah applies, for only a valid Zerikah removes Meilah, but he would agree regarding Kodshim Kalim that even an invalid Zerikah can bring to Meilah;

Had they argued only about Kodshei Kalim, one might have thought that only there R. Akiva says that Meilah applies, for even an invalid Zerikah can bring to Meilah, but he would agree regarding Kodshim Kalim that only a valid Zerikah removes Meilah. (Tosfos - on 6a, we said that it is easier to remove Meilah than to make Meilah apply. That was regarding Zerikas Pigul, which the Torah considers to be a valid Zerikah (to be Mechayev Kares) for one who eats the animal. Here, the Zerikah was valid. The Pesul is merely in what it should permit, therefore it is more difficult to remove Meilah.)

(R. Yochanan): R. Akiva says that Zerikah is effective for Yotzei only if some (of the meat or Eimurim) remained inside, but not if all left. (We explain like Tosfos' text, that the following is a regular teaching, and not a question.)