Completed basic DSL