On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication.