We fixed some mistakes in the proposal