My favorite observation about RDJ playing Doctor Doom in upcoming Marvel movies