Fixed an issue with implication results