remove proof instantiating