yes, @SuiNetwork  is where the backup leader idea comes from. mysticeti implemented interesting skip rules to avoid wasting time when a majority of the validators don't hear from the leader. i don't know all the literature so i am not sure if they came up with that originally but that is where i came across the skip rules.

For mysticeti the issue is robustness to data drops...