Email Record: Automata for Epistemic Temporal Logic with Synchronous Communication

Please enter the correct solution to the following calculation in figures:

seven plus two =