Thus syntactic unification is not sufficient to ensure the legitimate applicability of detachment, c...