Proof update

fixed toString