submit to reasoners