sorry about my previous wrong comment, this *does* check disjoint :)