Каким образом реализован предикат is и что он точно проверяет?