bst traversal
are lists intersected
f(k) = y (not done)