uncproving a point