universal semantic communication ii : a theory of goal - oriented communication .
Algebraic methods for interactive proof systems