http://minsky.gsi.dit.upm.es/semanticwiki/index.php/Special:URIResolver/Property-3ARelated_Security_Principle

used by 1: