(If a separate, otherwise unused character was used to signify a string, we wouldn't have to write unnecessary code manage escaping quotes.)