removed string of proof