Tagged $CHK