We saw Don Carlos. This proves that Mira was present, ... at least during the intermission. Bob too, since he took the picture.