In using the words 'trade name, format or procedure' the IFA gives a wider definition of the basic right purchased by the franchisee, though the BFA's difinition must be intended to include the possibility of a business operating purely under a trademark, symbol or format.