I thought Hillel Wayne's talk, Everything about distributed systems is terrible, was probably the best talk for the motivation behind why you should be using TL

I thought Hillel Wayne's talk, Everything about distributed systems is terrible, was probably the best talk for the motivation behind why you should be using TLA+ to design systems: https://www.youtube.com/watch?v=tfnldxWlOhM https://www.youtube.com/watch?v=tfnldxWlOhM