 Within extensive games with imperfect information, all such cases are represented by indistinguishability relations \(-\,-\,-\,-_A\) between states \(m,m'\), expressing that agent A cannot distinguish between being at m and \(m'\). Notably, this does not preclude the player from learning later on in the game whether he has been at m or \(m'\).