Property 2 implies that players must assign a probability of zero to all states outside the current ...