more expressive representation
        ↓
more complicated latent structure
        ↓
harder posterior inference
        ↓
need for approximate inference