Rename proposition header