BGP does not commit a great deal time in this state if the TCP session has been properly set up. Las Vegas algorithms generally return the correct remedy, but their managing time is only probabilistically sure, e.g. ZPP. The London Mayor is distinguished from the Lord Mayor of London, who heads the City of London Corporation operating the City of London.