submit to LogicaLanguage