Safety guarantees

(to be modified in the “Reinsurance” module)

COMPASSES AND JACKS