F1, Generators and the MGU-K