The eventuality property, or inevitability property problem consists in deciding, given a channel system S and a set \Gamma of configurations whether all run of S starting at \gamma goes through a configuration of \Gamma. This problem is undecidable for lossy channel system with impartiality and with the two other fairness constraints.
