Safety guarantees