resuccitate partial torus proof from last fall