finalized dsl