use state setter in SimpleNagation