delete some triviality