Checking state examples