I was following some links from YES on Wikipedia to Trevor Horn. Trevor Horn is famous not only for his work with YES, but also producing bands such as Frankie Goes to Hollywood, Pet Shop Boys, Mar…