A system is in a safe state only if there exists a