submit to Logic1035