assert valid state