[sargun]

Wasn't there a paper from Heidi Howard that stated you it's not actually f failures in 2f+1 nodes, but you can actually make the number of nodes that can fail a lot higher, if you have some nodes that have to take part in the quorum (or the prior proposal)? This feels roughly similar?

[foota]

I think that's a different thing... I believe you're talking about flexible paxos (https://arxiv.org/abs/1608.06696).

Flexible paxos doesn't change the underlying guarantees at all, whereas this does.