State checker: initial