second type of swap homotopy works