Working on Galois example...