Add an example proof