Proposition header

Add proposition header and standardize proposition name