inferenceHeres