basic implementation of state assertion