done with proof