Hardened message via > behaviour specifications