Source: Robert Downey, Jr.

The untitled fourth Avengers movie is currently in production and a couple of familiar faces joined Tony Stark (Robert Downey, Jr.) on set today. Downey shared a behind-the-scenes photo on Instagram today, confirming the presence of Pepper Potts (Gwyneth Paltrow) and Happy Hogan (Jon Favreau).

This trio, which Downey dubbed the “Infinity Trinity,” has been together since the Marvel Cinematic Universe was officially born in Iron Man (2008). It only makes sense that they would come together for Untitled Avengers, which has been billed as the culmination of the a 22-movie narrative. Downey’s clever wordplay, however, could point to a different film.

Before Untitled Avengers lands in theaters in May 2019, Avengers: Infinity War arrives in May of next year. While principal photography on Avengers: Infinity War ended last month, directors Joe and Anthony Russo have mentioned that some additional filming for the third Avengers film would happen while they’re shooting the fourth.

Happy and Pepper could be in either or both of the upcoming Avengers films.