Finding a bug in Dummit and Foote's Abstract Algebra | TickerVault