More reasoner internals