no more errors -- most of proving has been removed