updated proposition