(c) DSL Check