[compyman]

I think it's interesting that Lamport chose this style for Paxos Made Simple[0] Which iteratively goes through a process of proposing a solution for a problem (proposal 0: accept the first value the acceptor comes across) and then reveals the problem with it, and amends the proposal to fix the problem

[0] https://lamport.azurewebsites.net/pubs/paxos-simple.pdf

[ryukafalz]

This Kerberos explanation does something similar at a high level through dialogue. Always did like it.

https://web.mit.edu/kerberos/www/dialogue.html