changed nonempty constraints to empty lists