Updated Exercise3b -- now determinism is provable.