Translating Galois example.