proved that our equivalence relation on spans is one.