I want to know the answer to the following question:
The terms GMT and Greenwich Mean Time are also used informally to refer to what?
All the background I'm provided with is that "The terms "GMT" and "Greenwich Mean Time" are sometimes used informally to refer to UT or UTC.". Is that enough to answer the question?