The terms "GMT" and "Greenwich Mean Time" are sometimes used informally to refer to UT or UTC