What’s up today? (Part 1)

[tobbetj]

There has been discussion about that topic in the past, I think you will find an answer in this topic: Parsec: discussion about Liveness proof

@pierrechevalier83

The only reason we’re not alarmed about it and trying desperately to fix this part of the algorithm at the moment is because being strictly live in an asynchronous setting may not be necessary to be practically live in an asynchronous setting.