Thank you for this thoughtful comment, Simon. I agree with you on all four points you raised, with perhaps a small nitpick on your last sentence, if you'd indulge me. Yes, both movies are good and could've done quite well regardless, but I don't think that'd happen "in any case" — these days, very few good films get this phenomenal level of attention and box office results, which I think the marketing teams behind both movies should be able to take some credits for.