Generate demonstration.
Apply constraints.