Title: The third royal infant opera