Theory exercise 1 done
Communication and nondeterminism added