Safety guarantees

(to be modified in the “Reinsurance” module)

KEY ENTRY AND KEYS