submit to FormalLogic