This video is part of my free book "Correct by Design with TLA+":
https://github.com/codemonkeyricky/tla/blob/master/correct_by_design.pdf
If you feel strongly about supporting me by buying me a coffee, you can buy a copy of the book here:
https://www.amazon.ca/Correct-Design-TLA-Richard-Tang-ebook/dp/B0DVQVL3LM