Feedback on first draft

-$\lambda _{\theta }$ was a mistake (it is $\theta _{x|u}$)

-I considered this as a definition: "Where the $\lambda$ is an indicator variable representing assignment of a value to a variable"

-I added a small section for similarities and differences though there is more differences in the end of ENC2.

-Added local structure definition to the abstract. For determinism, I mentioned that it is what follows.