Jacobins, Communists, Pol Pot, and Democrats