Wrote DSLSpec.