[Sniffnoy]

Oops -- I forgot about the non-freeness requirement. So not just any subtree. That makes it trickier. But still not hard, I think.