* never predict Empty