analytic exposition