Definition of Franchise Tax