latent-variable representation
        ↓
intractable posterior
        ↓
variational approximation
        ↓
Encoder
        ↓
ELBO-based learning