similarly for Bob. Note that the event \(B_A(E)\) is an event for Bob and vice versa. A small change to the above definition of a type space (Definition 2.7) allows us to represent probabilistic beliefs (we give the full definition here for future reference):