More reasoner work