Would iron man be as good without Robert downey jr? Probably