Insurance that given Proxies are covered by the AssertionChain.
Matthias Geisler
Ensures that given Proxies are covered by the AssertionChain.