correction on proposition new version