intersection-nonempty