[rs86]

It is a subject of math. Safety and other qualifies of it can be analysed logically... Or not, as the article points out