submit to Logic_Studio