safety (distributed computing)

1. REDIRECT Safety and liveness properties

Please see the talk to learn why we changed the REDIRECT from "Safety property" to "Safety and liveness properties"

{{R from move}}