From Sungwoo Park: We have finalized our implementation strategy for the forward focusing. We have finished the data structure for bunches, the initial stage when we expand all asynchronous connectives. Each of us is currently working on the following individual programming tasks: 1) parsing (an adaptation of the code from BILL) 2) proof-term checker 3) rule representation and rule generation 4) rule application and database maintenance For the details of our forward focusing method, please read the attached documents (one PS and one TXT).