Email Record: Distributed automata in an assumption-commitment framework

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

eight plus seven =