refine the implement of Idents