18 homotopy_boundary_differential