reasoners