proofreading homotopy