the football trust assisted in providing funds for the redevelopment setoids are studied especially in proof theory and in type theoretic foundations of mathematics george rogers clark high school is the city's only public high school