Carefully set up broadcast and mesi state transition functions