Delaware corporation formed on July 23, 2002 as the parent of Burger King Corporation