Adding support for reasoning