case state impl, no light check yet