deleting broken proof