Talk:Intersection Non-Emptiness Problem