state consistency