Safety property

From HandWiki