Progress in Galois Theory