where a 1 in the \((t',s)\) entry of the above matrices corresponds to assuming \((t',s)\in\lambda_i(t)\) (\(i=A,B\)). What does it mean for Ann (Bob) to believe an event \(E\) in a type structure? We start with some intuitive observations about the above type structure: