we never define condition mean

[floswald]

at some point have to define E[u | x] formally.

[pvilledieu]

Note.pdf
I wrote this once, might be useful