(3) Infinity War is meaningless. The contract covers the comic books--as they existed ca. 1989--not movies that came over a decade later. For example, Iron Patriot (a 2000s villain in the comics, Rhodey in the MCU Iron Man movies) is fair game for WDW to use*--we know this because they used him, not Tony, for the premiere of IM2. Similarly, if instead of Black Panther the MCU introduced a new non-comics hero, say "Pink Squirrel," Pink Squirrel would be off-limits in IoA even if he received top billing in Avengers 4.