https://answerdbmaligner.z21.web.core.windows.net/how-language-is-symbolic.html