provision for taxation