я так размышляю: 1. последнее условие тру говорит что все другие условия тоже должны быть тру 2. проверка типа на андефаинд говорит что икс должен быть андефаиндом 3. первое условие отрицание как раз даст тру если икс андефаинд
получается загвоздка в том что третье условие противоречит второму