This mathematician questions the meaning of the word "progressive". Says its nasty connotations include colonialism, racism, and genocide. Obviously, it can't mean these things to a Lumumbist. It must mean development and good governance. Now the mathematician asks who it benefits. The discussion centers on automated proofs. Something for the left to think about.