dsl constraints etc.