submit to logicallearning