Working on definition of homotopy between various collapses in iterated bar construction.