Perhaps they had trouble enumerating every possible input to test their detector.