Security policy: organization have complex infrastructure and need common tooling to reason about the system as a whole Protocols: expressions are a useful data type and require interoperability ...