Possessing a witness-producing procedure for existence claims does not guarantee a uniform procedure...