We prove the existence of a greatest and a least interim Bayesian Nash equilibrium for supermodular games of incomplete information. There are two main differences from the earlier proofs and from general existence results for non-supermodular Bayesian games: (a) we use the interim formulation...