IF

Benedict intended only to resign a portion or a function of the papacy, or if he in any other way did not intend to resign the full and entire office of the papacy..

THEN

He didn’t resign at all.

IF

Benedict didn’t resign…

THEN

He, and only he, is Pope.

I ask this question in all sincerity: IF the IFs are true, THEN the THENs are also true, right?