Primal homotopy, cleanup