and similarly for states wBxk. This inductively completes the definition of the posteriors, hence of the priors of the players Again, you should verify(by induction) that this yields the required resultand similarly for states ωθxk.This inductively completes the definition of the posteriors, hence of the priors of the players. Again, you should verify (by induction) that this yields the required result. 4