:- "a" ++ "b".
