12.9 Show how to avoid validation of messages and use the simulation of identical Byzantine on top of Byzantine to get a simulation of Algorithm 15 with smaller messages. Hint: Note that in this algorithm, messages include a sequence of processor identifiers and the support are messages with prefixes of this sequence.