 There is good news and there is bad news. First the bad news. If the variables in \(\bV\) are discrete, and we make no assumptions about the form of the functions \(f_i\), then we can infer no more about the SEM than the Markov equivalence to which the graph belongs (Meek 1995).