skeleton for expecting dup
added (untested) code for equivalence check