include abstraction in equality check for results