Why Unification Is Neither Necessary Nor Sufficient for Explanation