The video collection contains a number of videos that demonstrate the construction of proofs for showing the history-based verification of clients and interface implementations.