(join "" "") = "" (join "" "b") = "b" (join "a" "") = "a" (join "a" "b") = "ab" (join a b) = a_b