under-constraint to enable more interesting generation
explanation