Hardness can be located in a protocol by drawing its dependencies. Find a measure of hardness that compares protocols of different kinds.

State machines, process calculi, temporal logics, and Petri nets can be drawn over a common skeleton. Encode a fifth formalism and test whether the skeleton survives.

Blygger replaces deletion with withdrawal and makes pins irrevocable. Model it as an instance and locate its hardness.