Verifying system state...