Distribution closed in DSL