Changed the formulation a bit after https://ethresear.ch/t/casper-ffg-with-one-message-type-and-simpler-fork-choice-rule/103/35
Changed the formulation a bit after https://ethresear.ch/t/casper-ffg-with-one-message-type-and-simpler-fork-choice-rule/103/35

pirapira/pos