Implementation: state consistency