version 7 by Jon Ingold
Section - is X intersect Y non-empty?
To decide if (X - a list of objects) intersect (Y - a list of objects) is non-empty:
let starting number be the number of entries in X;
remove Y from X, if present;
if the number of entries in X is not the starting number, decide yes;