"This guy's arrogance takes your breath away" (J W Backus and E W Dijkstra 1979)