06:29 <stellar-slack> <hsxuif> maybe there is a redundant "all" in the statement "... such that all B contains all ill-behaved nodes that have sent illegal messages..." for Theorem 12, p36, SCP draft?

06:34 <stellar-slack> <jed> I don't think it is

06:35 <stellar-slack> <hsxuif> what does that statement mean, though?

06:37 <stellar-slack> <hsxuif> and for the proof, using "pseduo-quorum" since there might exist a j, s.t., U1 is not a quorum in <Vj, Qj> (due to multiple configurations) , right?

06:38 <stellar-slack> <hsxuif> or "for all", U1 is not a quorum?

06:40 <stellar-slack> <jed> my battery is dieing but I asked david to come answer if he is still up

06:42 <stellar-slack> <hsxuif> sure

18:38 <stellar-slack> <dm> @hsxuif: In answer to your first question, it's a typo. It should read "Let B ⊆ V be a set such that B contains all ill-behaved nodes that have sent illegal messages..." In answer to your second question, due to multiple configurations.

18:39 <stellar-slack> <dm> Also, just a warning that I'm completely rewriting the liveness part. So if you are working through the paper linearly, you might want to move to the limitations section and then come back to the liveness proof afterwards when I've finished updating the whitepaper.