Imagine you're about to integrate a protocol, but you want to investigate the possible contagion risk that it poses to your protocol. Just check their assertions.