Reasoner named by requa