Pattern comments on Joy in Discovery: Galois theory