safe_check, again