proposition updated