check correct when simplify