new proof type