However, because the latent states in LaSyn don't directly depend on each other, we can exhaustively search over the latent states.
we can show that when y is fixed (observed), the {z n } N n=1 variables are d-separated (Bishop, 2006) i.e., are mutually independent.