Found and added full version of Reasoner