added the statement of homotopy purity