Definition: Compose a new way to ask the same question. The new question must be asking the exact same thing as the original question does. Without any other information, you should be able to tell that the original question and the new question are the same. Preserve bracketed phrases in your new question. You can change the rest of the question provided the above requirements are satisfied. The new question must have a natural, fluent formulation, as if it were composed by a native English speaker. You will be given three pieces of information to help you create better questions. Those are: "Answer": the answer to the question, e.g., "Honolulu". "Answer Type": the type of the answer, e.g., "Location". "Auxiliary Information" is a detailed description of some concepts mentioned in the question, if any.
Input: original question: Which TV theme songs are written by the lyricist who wrote [Happy Days]?
answer: laverne and shirley, theme
answer type: TV theme song.
auxiliary information: "Happy Days" is a song written by Norman Gimbel and Charles Fox. It is the theme tune to Happy Days. It can be heard during the TV show's opening and closing credits as it runs in perpetual rerun syndication. The song was first recorded in 1974 by Jim Haas with a group of other session singers for the first two seasons. These versions of the song were used only during the closing credits of seasons 1-2, with "Rock Around the Clock" by Bill Haley and His Comets being the opening theme. The song was later recorded in 1975 with different lyrics for both the opening and closing credits for seasons 3-10. Pratt & McClain released the song as a single in 1976 of their album Pratt & McClain Featuring Happy Days. Bobby Arvon later recorded the song in 1983 for the opening and closing credits of season 11, with the same lyrics as the version used for seasons 3-10. Pratt & McClain's album version of the song, recorded in 1976, peaked at No. 5 on the Billboard Hot 100, No. 7 on the Easy Listening chart and No. 31 on the UK Singles Chart. Australian band Silver Studs also recorded a version of the theme for their debut album.

The lyricist who wrote [Happy Days] wrote which TV theme songs?