Feedback on first draft

Looks good! Some comments on the page:

Define $\lambda _{x_{i}}$ notation before you use it. And you define $\lambda _{\theta }$ but do not use it.

Tell us what an indicator variable is.

How does ENC1 and ENC2 differ from the encoding already given? They are presented independently, and the reader doesn't know how they fit together.

Explain what "local structure" and "determinism" mean (when they are first introduced). Don't assume we know.

There are some problems with missing spaces that can be fixed with a careful proofread. And a few other cases where the grammar isn't quite right. (I didn't read the "To Add" section as this was meant for your rough notes.)

-$\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.