 As for the correlational stance, in situation theory bisimulation turns out to be the right notion in determining whether two infons that might look structurally different are actually the same as pieces of information. For example, one possible analysis of Liar-like claims leads to infons that are nested in themselves, such as 