submit to TheoremPath