under-constraint to enable more interesting generation