** <math>\Pi^S_i</math> won't have a chance to reach consistency for the messages receives after ''p''
=== Heartbeat ===
Heartbeat is an empty message which contains only meta data. The meta data consists of information used to compute a new key and the most updated hash of transcript chain.