De rödes program kan sålunda sammanfattas: