state assumption and simplify