Don Knuth - Constraint-based Composition