Using attributed strings, CS193p