new Proj and Algebra