The mathematics of Safety Abstract