Adding DSL specs