finished manifolds pset