• finish() : Txc12
• forwardMessage() : Txc9, Txc12, Txc11, Txc10
• generateMessage() : Txc12, Txc11, Txc10
• generateNewMessage() : Tic8
• handleMessage() : Txc9, Toc8, Tic8, Toc7, Tic7, Txc6, Txc5, Txc4, Txc3, Txc2, Txc12, Txc11, Txc10, Txc1
• initialize() : Txc9, Tic8, Tic7, Txc6, Txc5, Txc4, Txc3, Txc2, Txc12, Txc11, Txc10, Txc1
• sendCopyOf() : Tic8
• Tic7() : Tic7
• Tic8() : Tic8
• Txc5() : Txc5
• Txc6() : Txc6
• updateDisplay() : Txc11
• ~Tic7() : Tic7
• ~Tic8() : Tic8
• ~Txc5() : Txc5
• ~Txc6() : Txc6

---