add comments in proposition template