In math, this means that we've established that he exists, but we haven't found him yet. Last I checked, they established a lower bound on his street address of 6325.