Finalized setDifference() and Tester