Thanks to commutative encryption, Luke’s Optable instance
can compare the two double-encrypted lists and learn which values intersect.
Nothing about non-overlapping records is revealed.