Thank you both for replying! :)
Daniel Lubarov, this is how I see Casper voting: there is only one “type” of votes (“justify” votes), and finalized blocks are nothing but justified blocks whose child is also justified? Is this flawed in any way? :)
Jacob Eliosoff, oh now I get your terminology. But my question remains, why would I be slashed if vote C-G (I’m voting to finalize F, as you would say), and then e.g. C-H? I’m not breaking any of the slashing conditions? Just to clarify, by C-G I mean “a single vote with source C and target G”.