Checking for Safety