add plain proof example