Every abstract type of a belief-closed type space corresponds to an infinite belief hierarchy. But only finite order of beliefs is necessary for most applications. As we demonstrate, many important insights from recent development in the theory of Bayesian games with higher-order uncertainty...