trivial refine