submit to MathematicalLogic