Does anyone else see the humor in his last name being "Miranda"?