zero-theorem doesn’t follow anyone yet