safety guarantees