  "substs s [] = []"
  "substs s (t # ts) = subst s t # substs s ts"
