Equality Explorer: Two Variables