update proposition names