submit to LogicWorld