Alright I&#x27;ll give you that. My main argument is for a language powerful enough for both solving problems concisely and creating DSL&#x27;s should be used with DSL&#x27;s for common or hard problems. The DSL&#x27;s or the language can be subject to verification.