correction proposition