Undefinability under conditionalization reveals a substantive logical role, not an eliminable conven...