Added extra Proving Functionality