EQUALITY EXPLORER : TWO VARIABLES