Att vensterns program skall genomföras,